This study aims to develop systems of belief revision in which acquisition of knowledge and interactive aspects of meaning are captured as a set of questions and answers with respect to an initial set of assumptions expressed in the object language. This process is performed by a progressive deployment of hypothetical insights contained in a context of interaction of information received by an agent. This study also gives the opportunity to express interactive aspects of meaning in semantics tableaux. And thus (...) highlights the notions of speech acts by the connection between tableaux and dialogues in the context of belief revision. (shrink)

Our article aims to show, on the one hand, the preeminence of the interactive paradigm as a determining element in the process of constitution of logical meaning and, on the other hand, to examine the contents of the linguistic expressions of pragmatic semantics. To do this, we expose three major figures of the logic of mathematical obedience in particular those of Gottfreid Leibniz, George Boole and Gottlob Frege. If this approach to mathematical logic has seen meritorious progress, it should be (...) pointed out that it does not favor the emphasis on epistemic and interactive aspects in the notions of logical consequences and inference. Our contribution is therefore to demonstrate that these weaknesses can be solved with the revolutionary approach of Robert Brandom based on the framework that promotes the interactive game of supply and demand of reasons. This analysis leads to the idea that interactive play is the basis of contemporary logical approaches. (shrink)

The Talking-Tree or Palaver Tree is a designated location in many African traditions where the community comes together to discuss, in a peaceful and constructive manner, issues of common interest. It is conceived as an open gathering space of interactive communication led by the stance that finding a compromise or common solution is the best way to consolidate a community. At times, the interchange taking place at a Talking-Tree may also transform into conflict management. Conflict management unfolds into several specific (...) patterns of argumentation including those that aim at deciding if some given accusation is justified or not. The main aim of this chapter is to study, within the Baule tradition of Talking-Tree debates involving accusations of wrongdoing, the meaning explanation underlying proverbs, which constitute the most fundamental elements of these debates. More precisely our study, based on a pragmatic approach to meaning, will focus on the distinction drawn by linguist Kouadio between ascertainment, logical and moral Baule proverbs by distinguishing their different role in a Talking-Tree debate. One of the main results of our approach is that it makes it patent that drawing a conclusion from a Talking-Tree debate is grounded on contentual functional links, rather than on the analysis of logical constants. This research should set the basis for a larger epistemological research on the structure of argumentation patterns born and developed in Africa, where meaning and knowledge are constituted during dialogical interaction. The dialogical system underlying such form of argumentation, that we call Dialogues of functional reasoning by proverbs, we think provides a general instrument for the study of patterns of argumentation beyond the African tradition. (shrink)

The main aim of this paper is to study the notion of conditional right by means of a dialogical approach to constructive type theory (CTT). We will develop this idea in a framework where the distinction between local-reason and strategic-reason leads to the further distinction between two basic kinds of pieces of evidence, factual and logical. The present paper is based on Rahman (2015). However, though the underlying CTT-analysis is the same, the dialogical reconstruction makes use of a new way (...) of linking dialogical logic and CTT. (shrink)

Réseau LACTO (Langage, Argumentation et Cognition dans les Traditions Orales) Quatrième Rencontre du Réseau Lacto CELHTO, bureau de l'Union Africaine, Niamey, Niger, du 22 au 25 septembre 2015 : JEU ET ORALITE DANS LES SOCIETES A TRADITION ORALE According to the main stream approaches to epistemic notions, knowledge and belief are understood as propositional operators. Thus, • Gildas believes that there is a witch in his village is understood as expressing a proposition. Moreover, • Gildas knows that Gödel proved the (...) completeness of first-order logic, expresses a proposition too. The difference between both is that a belief-proposition can be true if it is " factually " false: in our case the proposition can be true in relation to Gildas's belief, that is, despite the fact that there is no witch in his village. Furthermore, assuming that there is not witch in his village, the following proposition is false • Gildas knows that there is a witch in his village. If the latter is false, from the point of view of the mainstream, there was not knowledge at all, rather it was from the start a belief that has not been verified. 1 The present paper is part of an ongoing project in the context of the research-program Argumentation, Decision, Action (ADA) and the project Logique, Argumentation et Cognition dans les Traditions Orales (LACTO) both supported by the Maison Européenne des Sciences de l' Homme et de la Société-USR 318 and by the laboratory UMR 8163: STL. (shrink)